Single Core
Fuel injection system (16 tasks, 46 shared data)
available in the TII 2010 paper "Optimal synthesis of communication procedures in real-time synchronous reactive models"
Task system (42 tasks, 36 resources)
Available in the RTS 1992 paper "Allocating hard real-time tasks: An NP-Hard problem made easy"
Fuel injection system (90 functional blocks, 106 communication links)
available in the TII2010 paper "Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays"
